Proof rules for the dialogical logic N
نویسندگان
چکیده
We outline the beginnings of a proof-theory for the dialogical logic N introduced in [1].
منابع مشابه
Multi-Agent Dialogue Games and Dialogue Sequents for Proof Search and Scheduling
Dialogical games as introduced by Lorenzen and Lorenz describe a reasoning technique mainly used for intuitionistic and classical predicate logic: two players (proponent and opponent) argue about the validity of a given formula according to predefined rules. If the proponent has a winning-strategy then the formula is proven to be valid. The underlying game rules can be modified to have an impac...
متن کاملNegation in the Logic of First Degree Entailment and Tonk
The dialogical framework is an approach to meaning that provides an alternative to both the model-theoretical and the proof-theoretical semantics. The dialogical approach to logic is not a logic but a semantic rule-based framework where different logics could be developed, combined or compared. But are there any constraints? Can we introduce rules ad libitum to define whatever logical constant?...
متن کاملModal Logic As Dialogical Logic
The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy. Nonetheless, by making use of ideas which trace back to Arthur Prior (notab...
متن کاملAbduction and Dialogical Proof in Argumentation and Logic Programming
We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation. We present dialogical proof theories for the main decision problems (i.e., finding hypotheses that explain skeptical/credulous support) and we show that our model can be instantiated on the basis of abductive logic programs.
متن کاملOn the nature of argument schemes
Since the 1980s, computer science, especially artificial intelligence (AI) has developed formal models of many aspects of argumentation that since the work of Toulmin and Perelman were thought of as belonging to informal logic. Doug Walton is one of the argumentation theorists who has recognised the relevance of this body of work for argumentation theory. One of the concepts on which recent wor...
متن کامل